Model-Based Security Testing
نویسندگان
چکیده
منابع مشابه
Model-Based Security Testing
Security testing aims at validating software system requirements related to security properties like confidentiality, integrity, authentication, authorization, availability, and non-repudiation. Although security testing techniques are available for many years, there has been little approaches that allow for specification of test cases at a higher level of abstraction, for enabling guidance on ...
متن کاملCORAL: A Model-Based Approach to Risk-Driven Security Testing
The continuous increase of sophisticated cyber security risks exposed to the public, industry, and government through the web, mobile devices, social media, as well as targeted attacks via state-sponsored cyberespionage, clearly show the need for software security. Security testing is one of the most important practices to assure an acceptable level of security. However, security testers face t...
متن کاملModel-based security testing: a taxonomy and systematic classification
On this level, an approach is evaluated on the basis of non-executable test cases. For instance, if generated test cases are sequences of non-executable nodes of a transition-based model, then evidence can already be measured (efficiency can, for example, be measured on the basis of a cost or time model). But, the concrete effect of the approach on the deployed system under test cannot be measu...
متن کاملA Model Based Security Testing Method for Protocol Implementation
The security of protocol implementation is important and hard to be verified. Since the penetration testing is usually based on the experience of the security tester and the specific protocol specifications, a formal and automatic verification method is always required. In this paper, we propose an extended model of IOLTS to describe the legal roles and intruders of security protocol implementa...
متن کاملA threat model-based approach to security testing
Software security issues have been a major concern in the cyberspace community, so a great deal of research on security testing has been performed, and various security testing techniques have been developed. Threat modeling provides a systematic way to identify threats that might compromise security, and it has been a well-accepted practice by the industry, but test case generation from threat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.80.1